A Convenient Category of Domains Dedicated to Gordon Plotkin on the occasion of his 60th birthday

نویسندگان

  • Ingo Battenfeld
  • Matthias Schröder
  • Alex Simpson
چکیده

We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations. It also supports the construction of free algebras for (in)equational theories, provides a model of parametric polymorphism, and can be used as the basis for a theory of computability. This answers a question of Gordon Plotkin, who asked whether it was possible to construct a category of domains with such properties.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Computation, Cooperation, and Life - Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday

It's coming again, the new collection that this site has. To complete your curiosity, we offer the favorite computation cooperation and life essays dedicated to gheorghe paun on the occasion of his 60th birthday lecture notes in computer science book as the choice today. This is a book that will show you even new to old thing. Forget it; it will be right for you. Well, when you are really dying...

متن کامل

Monoidal Categories of Comodules for Coquasi Hopf Algebras and Radford’s Formula

We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the category of Hopf modules. We present a categorical proof of Radford’s S formula for the case of a finite dimensional coquasi Hopf algebra, by establishing a ...

متن کامل

A CONVENIENT CATEGORY FOR DIRECTED HOMOTOPY Dedicated to Walter Tholen at the occasion of his sixtieth birthday

We propose a convenient category for directed homotopy consisting of “directed” topological spaces generated by “directed” cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable.

متن کامل

Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday

That's it, a book to wait for in this month. Even you have wanted for long time for releasing this book graph theory computational intelligence and thought essays dedicated to martin charles golumbic on the occasion of his 60th birthday lecture notes in computer science; you may not be able to get in some stress. Should you go around and seek fro the book until you really get it? Are you sure? ...

متن کامل

Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

A solution to get the problem off, have you found it? Really? What kind of solution do you resolve the problem? From what sources? Well, there are so many questions that we utter every day. No matter how you will get the solution, it will mean better. You can take the reference from some books. And the logic and grammar essays dedicated to alain lecomte on the occasion of his 60th birthday is o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006